Тип шаблона (<Х>ов)

9.19 Тип шаблона (<Х>ов) - предикат, определенный в шаблоне, который справедлив для всех реализаций шаблона и выражает требования реализаций шаблона, которые должны быть выполнены.

Отношение подтип/супертип шаблона объектов не обязательно совпадает с поведенческой совместимостью. Экземпляры типа шаблона не обязательно поведенчески совместимы с реализациями соответствующего шаблона. Они совпадают, если:

а) рассматривается транзитивное отношение поведенческой совместимости, и

б) подтипы шаблона поведенчески совместимы со своими супертипами шаблона.

Примечания

1 Это понятие охватывает понятие замещаемости.

2 Форма предиката, который выражает тип шаблона, зависит от используемого языка спецификаций.

3 «Экземпляры шаблона Т», по определению, являются «экземплярами типа шаблона, связанного с шаблоном Т».

4 На рисунке 1 показаны взаимоотношения между некоторыми из понятий: тип шаблона, класс шаблона и т.д. Набор экземпляров t содержит как набор реализаций t, так и набор всех реализаций подтипов t. Наборы реализаций различных шаблонов всегда разделены.

Источник: ГОСТ Р ИСО/МЭК 10746-2-2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель оригинал документа